981. Computer Mathematics
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
982. Computer Mathematics
پدیدآورنده: / shin Lee, Yosuke Sato-Ruyong Feng, Wen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
983. Computer Science and Statistics: Proceedings of the 13th Symposium on the Interface
پدیدآورنده: edited by William F. Eddy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Distribution (Probability theory).,Mathematics.,Statistics.
984. Computer Systems Interaction-Human
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Engineering. ; Computer science. ; Artificial intelligence. ; Engineering mathematics. ; Engineering. ; Appl.Mathematics/Computational Methods of Engineering. ; User Interfaces and Human Computer Interaction. ; Artificial Intelligence (incl. Robotics). ;
985. Computer Vision and Mathematical Methods in Medical and Biomedical Image Analysis
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Diagnostic imaging -- Mathematics -- Congresses,Diagnostic imaging -- Digital techniques -- Congresses,Computer vision in medicine -- Congresses,تشخیص تصویری -- ریاضیات -- کنگره ها,تشخیص تصویری -- روش‌های رقمی -- کنگره ها,بینایی ماشین در پزشکی -- کنگره ها
رده :
E-Book
,
986. Computer-aided verification : 2nd International Conference, CAV'90, New Brunswick, NJ, USA, June 18-21, 1990 : Proceedings
پدیدآورنده: E.M. Clarke, R.P. Kurshan )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Design and construction -- Data processing -- Congresses ، Digital integrated circuits,Congresses ، Computer-aided design
رده :
QA
76
.
L28
Vol
.
531
987. Computer-aided verification: proceedings 2nd International conference, CAV'90
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Digital integrated circuits-- Computer-aided design,Congresses ، Integrated circuits-- Verification
رده :
TK
7874
.
D553
1990a
988. Computer-aided verification 90 : proceedings of a DIMACS Workshop, June 18-21, 1990
پدیدآورنده: E.M. Clarke, R.P. Kurshan editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Design and construction -- Data processing -- Congresses ، Digital integrated circuits,Congresses ، Computer-aided design
رده :
TK
7874
.
D55
1990
989. Computer algebra :
پدیدآورنده: Edmund A. Lamagna.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra-- Data processing.,Algebra-- Data processing.,MATHEMATICS-- Algebra-- General.,MATHEMATICS-- Algebra-- Intermediate.,MATHEMATICS-- Applied.,MATHEMATICS-- Number Systems.
رده :
QA155
.
7
.
E4
L36
2019eb
990. Computer algebra
پدیدآورنده: edited by David V. Chudnovsky, Richard D. Jenks
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Data proceesing -- Congresses ، Algebra
رده :
QA
155
.
7
.
E4C64
1989
991. Computer algebra
پدیدآورنده: / edited by David V. Chudnovsky, Richard D. Jenks
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Algebra -- Data processing - Congresses
رده :
QA
155
.
7
.
E4
C649
1989
992. Computer algebra and geometric algebra with applications
پدیدآورنده: / Hongbo Li, Peter J. Olver, Gerald Sommer (eds.).
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Algebra--Data processing--Congresses., Computer algorithms--Congresses., Geometry, Algebraic--Congresses.
رده :
QA
155
.
7
.
E4
I65
2004
993. Computer algebra and geometric algebra with applications : 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004 : revised selected papers
پدیدآورنده: Hongbo Li, Peter J. Olver, Gerald Sommer )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Data processing -- Congresses ، Algebra,Congresses ، Computer algorithms,Congresses ، Geometry, Algebraic
رده :
QA
76
.
L28
Vol
.
3519
994. Computer algebra and parallelism
پدیدآورنده: / J. Della Dora, J. Fitch (editors)
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Algebra - Data processing - Congresses,Parallel programming (Computer science) - Congresses,Parallel processing (Electronic computers) - Congresses
رده :
QA
155
.
7
.
E4
C6493
1989
995. Computer algebra in quantum field theory
پدیدآورنده: / edited by Carsten Schneider, Johannes Blumlein
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Quantum field theory, Data processing,Quantum field theory, Mathematics,Algebra, Computer programs,SCIENCE / Energy, bisacsh,SCIENCE / Mechanics / General, bisacsh,SCIENCE / Physics / General, bisacsh
رده :
E-BOOK
996. Computer algebra in scientific computing
پدیدآورنده: Vladimir P. Gerdt ... [et al.] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra-- Data processing, Congresses,Computer science-- Mathematics, Congresses,Science-- Data processing, Congresses
رده :
QA155
.
7
.
E4
I6
2012eb
997. Computer algebra in scientific computing :
پدیدآورنده: Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses,Science-- Data processing, Congresses
رده :
QA76
.
9
.
M35
I58
2013
998. Computer arithmetic and self-validating numerical methods
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer arithmetic-- Congresses,، Numerical analysis-- Congresses
رده :
QA
76
.
9
.
C62
.
C663
1990
999. Computer arithmetic in theory and practice
پدیدآورنده: Ulrich W. Kulisch, Willard L. Miranker
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع: Algebra, Abstract,Interval analysis (mathematical),Floating - Point arithmetic
رده :
QA
,
162
,.
K84
,
1981
1000. Computer-based Numerical and Statistical Techniques.
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Engineering mathematics-- Data processing.,Engineering mathematics-- Data processing.
رده :
TA345
.
G695
2007eb
